The Eel Programming Language and Internal Concurrency in Logic Agents
نویسنده
چکیده
This paper describes work done on creating the logic programming language Eel. Eel is an is an extension of prolog which reserves two predicates to handle i/o, process communication and process initiation. The paper also presents an adaption of a behaviour based agent architecture and gives examples of how parts of that adapted architecture can be implemented in Eel. As an aside the paper comments that the Agent Oriented Programming paradigm currently contains two different metaphors for concurrency. Eel’s event based approach to process communication and process initiation introduces an explicit representation of state to the evaluation of a logic program. The paper demonstrates how Eel can be used for a declarative approach to object states in the examples that show the object oriented implementation of the suggested agent architecture.
منابع مشابه
Eel, a Declarative Language for Programming Adaptive Agents
This is a report on the Eel programming language, its syntax, semantics and intended use. The language has been developed as a tool to allow programs to adapt using symbolic learning techniques. Eel is a logic language and has a declarative interpretation of user and process communication. This is achieved by extending the traditional deductive proof procedure with abduction of a set of communi...
متن کاملDeclarative Adaptive Agents
This is a report on the aims of and the latest results from my Ph.D. research work. The aim of the work is to create a framework which allows a declarative representation of programs that interact with external processes and can adapt according to generalisations made from that interaction. Such systems are also described as adaptive agents. A new logic programming language, Eel, has been devel...
متن کاملA Concurrent Extension of Functional Logic Programming Languages
We present a concurrent extension of functional logic programming languages together with a compositional semantics based on labelled sequences, which takes into account the environment of the program. This framework allows to specify, at a very high level, applications that need concurrency and interaction with the environment. For that, we introduce the possibility of defining processes (agen...
متن کاملAgent-Oriented Programming in Linear Logic
This thesis investigates how a linear logic programming language, such as Lygon, can be used in the implementation of agent-oriented programs. Agent-oriented programming is a recent computational framework of interest to both academic and industrial researchers. Agent methodology is being successfully utilised in designing complex (distributed) applications that require concurrency, reasoning, ...
متن کاملMulti-Agent Planning in CLP
This paper explores the use of Constraint Logic Programming (CLP) as a platform for experimenting with planning problems in presence of multiple interacting agents. The paper develops a novel constraint-based action language, B, that enables the declarative description of large classes of multi-agent and multi-valued domains. B supports several complex features, including combined effects, conc...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1999